طراحی و پیاده سازی مکانیزم کنترل همروندی در کلان تراکنش

مدل کلان تراکنش یک مدل تراکنش تودرتوی باز است که سعی در پوشش دادن نیازهای کاربردهای جدید خصوصا در زمینه اتوماسیون تصمیم گیری در محیط بانک اطلاعات نامتمرکز دارد. کلان تراکنشها در محیط نظام اطلاع رسانی همیار با یکدیگر بصورت همروند اجرا می گردند. بنابراین یک مکانیزم کنترل همروندی باید روی مراحل اجرا و نهایی شدن کلان تراکنش ها نظارت داشته باشد. کلان تراکنش بصورت درختی از زیرتراکنشها تعریف می گردد. زیرتراکنشها کلان تراکنش بعضا بصورت همزمان (همروند) روی بانکهای اطلاعاتی گوناگون اجرا می شوند. علاوه بر این ممکن است ، زیرتراکنش های کلان تراکنش وابستگی هایی به یکدیگر داشته باشند. این وابستگی ها شامل وابستگی مقدار و وابستگی انجام، می باشند. در چنین شرایطی مکانیزمی مورد نیاز است تا همخوانی و صحت بانکهای اطلاعاتی درگیر را تضمین نماید و نیازهای مدل کلان تراکنش را برآورده سازد. مبنای کار برای کنترل همروندی در کلان تراکنش ، تئوری پی در پی پذیری در نظر گرفته شده است . برای اعمال پی در پی پذیری سراسری روشی تحت عنوان روش ticketing معرفی گردیده است . در این راستا انواع روشهای ticketing شامل ticketing خوشبینانه، ticketing محافظه کارانه و ticketing ضمنی مورد بحث و بررسی قرار گرفته اند و در نهایت روش ticketing خوشبینانه برای کنترل همروندی در کلان تراکنش انتخاب شده است . یکی از ویژگیهای مدل کلان تراکنش حفظ نتایج جزئی بدست آمده از اجرای کلان تراکنش حتی در صورت ساقط شدن کلان تراکنش ، می باشد. به این ترتیب در صورتی که کلان تراکنش انتخاب شده است . یکی از ویژگیهای مدل کلان تراکنش حفظ نتایج جزئی بدست آمده از اجرای کلان تراکنش حتی در صورت ساقط شدن کلان تراکنش ، می باشد. به این ترتیب در صورتی که کلان تراکنش با یک پیشامد جزئی یکی از زیرتراکنش هایش ساقط شد و ناچار به اجرای مجدد شد، نیازی به آغاز دوباره تمامی زیرتراکنش های اجرا شده اش نخواهد داشت . برای اعمال این مسئله زمانبندی های کلان تراکنش باید شرایط خاصی را دارا باشند. در این زمینه یک معیار صحت جدید برای زمانبندی های سراسری تحت عنوان قابلیت نهایی شدن سراسری معرفی می گردد. یکی دیگر از مزایای مدل کلان تراکنش استفاده از مکانیزم جبران می باشد. مکانیزم جبران برای سرعت بخشیدن به کارها، پیش بینی شده است . بخشهایی از تراکنش که از قبل جبران پذیر تشخیص داده شده اند، در بین راه به صورت مشروط پایان می یابند و قفل داده های مربوطه باز می شود. اگر کلان تراکنش مربوطه انجام شود که مشکلی پیش نمی آید. در غیر اینصورت ، اثر آن بخشها توسط تراکنشهای جبرانی خنثی می شود. جبران تاثیر مستقیمی روی طراحی مکانیزم کنترل همروندی دارد که مورد بحث و بررسی قرار گرفته است . در انتهای کار امکانات بسته نرم افزاری delphi در محیط بانک اطلاعات نامتمرکز شرح داده شده است و مکانیزم کنترل همروندی کلان تراکنش در محیط delphi پیاده سازی شده است .